The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors (...) and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited to be extended (...) to other types of military and nonmilitary unmanned vehicle operations. (shrink)

Xenophobia is conceptually distinct from racism. Xenophobia is also distinct from nativism. Furthermore, theories of racism are largely ensconced in nationalized narratives of racism, often influenced by the black-white binary, which obscures xenophobia and shelters it from normative critiques. This paper addresses these claims, arguing for the first and last, and outlining the second. Just as philosophers have recently analyzed the concept of racism, clarifying it and pinpointing why it’s immoral and the extent of its moral harm, so we will (...) analyze xenophobia and offer a pluralist account of xenophobia, with important implications for racism. This analysis is guided by the discussion of racism in recent moral philosophy, social ontology, and research in the psychology of racism and implicit attitudes. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) testing, and (4) data (...) exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

This paper presents some annotations on mental health, from the point of view of implicit notions of madness. To this end, we propose a distinction between the medical, phenomenological existential and socio-critical models. We focus in the latter two in order to achieve a critical approach about the subject, dominated by the medical perspective. According to Foucault's earliest works, this article begins by evaluating criteria of normality in terms of the historical genesis of madness concept. Then, we describe the medical (...) model based on the distinction between illness and symptom. Later, we focus on the phenomenological-existential model to describe the ontological fragility in Laing, i.e. the original core of the self and the world experienced by the schizophrenic person. Finally, we add some considerations related to the social origin of schizophrenia, as stated in the Cooper's and Foucault's perspectives. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

Authors from all over the world unite in an effort to cultivate dialogue between Asian and Western philosophy. The papers forge a new, East-West comparative path on the whole range of issues in Kant studies. The concept of personhood, crucial for both traditions, serves as a springboard to address issues such as knowledge acquisition and education, ethics and self-identity, religious/political community building, and cross-cultural understanding. Edited by Stephen Palmquist, founder of the Hong Kong Philosophy Café and well known for both (...) his Kant expertise and his devotion to fostering philosophical dialogue, the book presents selected and reworked papers from the Kant in Asia conference, held in Hong Kong in May 2009. In addition to keynote essays by Patricia Kitcher (Columbia), Günter Wohlfart (Wuppertal), and Cheng Chung-ying (Hawaii), the book contains 64 contributed essays. The latter include contributions from Andrew Brook, David Cummiskey, Rainer Enskat, Wolfgang Ertl, Hans Feger, Klaus-Gerd Giesen, Ronald Green, Martin Moors, Ulrich Seeberg, Susan Shell, Rein Vos, Günter Zoeller, and numerous Asian philosophers. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

Experimental philosophy is often presented as a new movement that avoids many of the difficulties that face traditional philosophy. This article distinguishes two views of experimental philosophy: a narrow view in which philosophers conduct empirical investigations of intuitions, and a broad view which says that experimental philosophy is just the colocation in the same body of (i) philosophical naturalism and (ii) the actual practice of cognitive science. These two positions are rarely clearly distinguished in the literature about experimental philosophy, both (...) pro and con. The article argues, first, that the broader view is the only plausible one; discussions of experimental philosophy should recognize that the narrow view is a caricature of experimental philosophy as it is currently done. It then shows both how objections to experimental philosophy are transformed and how positive recommendations can be provided by adopting a broad conception of experimental philosophy. (shrink)

Libertarian self-ownership views have traditionally maintained that we enjoy very powerful deontological protections against any infringement upon our property. This stringency yields very counter-intuitive results when we consider trivial infringements such as very mildly toxic pollution or trivial risks such having planes fly overhead. Maintaining that other people's rights against all infringements are very powerful threatens to undermine our liberty, as Nozick saw. In this paper I consider the most sophisticated attempts to rectify this problem within a libertarian self-ownership framework. (...) I argue that all of these responses are significantly flawed. (shrink)

How do we determine whether some candidate causal factor is an actual cause of some particular outcome? Many philosophers have wanted a view of actual causation which fits with folk intuitions of actual causation and those who wish to depart from folk intuitions of actual causation are often charged with the task of providing a plausible account of just how and where the folk have gone wrong. In this paper, I provide a range of empirical evidence aimed at showing just (...) how and where the folk go wrong in determining whether an actual causal relation obtains. The evidence suggests that folk intuitions of actual causation are generated by two epistemically defective processes. I situate the empirical evidence within a background discussion of debunking, arguing for a two-pronged debunking explanation of folk intuitions of actual causation. I conclude that those who wish to depart from folk intuitions of actual causation should not be compelled to square their account of actual causation with the verdicts of the folk. In the dispute over actual causation, folk intuitions deserve to be rejected. (shrink)

The theory of embodied cognition can provide HCI practitioners and theorists with new ideas about interac-tion and new principles for better designs. I support this claim with four ideas about cognition: (1) interacting with tools changes the way we think and perceive – tools, when manipulated, are soon absorbed into the body schema, and this absorption leads to fundamental changes in the way we perceive and conceive of our environments; (2) we think with our bodies not just with our brains; (...) (3) we know more by doing than by seeing – there are times when physically performing an activity is better than watching someone else perform the activity, even though our motor resonance system fires strongly during other person observa-tion; (4) there are times when we literally think with things. These four ideas have major implications for interaction design, especially the design of tangible, physical, context aware, and telepresence systems. (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

This essay attempts to provide and defend what may be the first actual argument in support of P. F. Strawson's merely stated vision of a response-dependent theory of moral responsibility. It does so by way of an extended analogy with the funny. In part 1, it makes the easier and less controversial case for response-dependence about the funny. In part 2, it shows the tight analogy between anger and amusement in developing the harder and more controversial case for response-dependence about (...) a kind of blameworthiness. It then defends the view from three serious skeptical challenges. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will also (...) argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

The principle of alternate possibilities (PAP), making the ability to do otherwise a necessary condition for moral responsibility, is supposed by Harry Frankfurt, John Fischer, and others to succumb to a peculiar kind of counterexample. The paper reviews the main problems with the counterexample that have surfaced over the years, and shows how most can be addressed within the terms of the current debate. But one problem seems ineliminable: because Frankfurt''s example relies on a counterfactual intervener to preclude alternatives to (...) the person''s action, it is not possible for it to preclude all alternatives (intervention that is contingent upon a trigger cannot bring it about that the trigger never occurred). This makes it possible for the determined PAPist to maintain that some pre-intervention deviation is always available to ground moral responsibility. In reply, the critic of PAP can examine all the candidate deviations and argue their irrelevance to moral responsibility (a daunting prospect); or the critic can dispense with counterfactual intervention altogether. The paper pursues the second of these strategies, developing three examples of noncounterfactual intervention in which (i) the agent has no alternatives (and a fortiori no morally relevant alternatives), yet (ii) there is just as much reason to think that the agent is morally responsible as there was in Frankfurt''s original example. The new counterexamples do suffer from one liability, but this is insufficient in the end to repair PAP''s conceptual connection between moral responsibility and alternate possibilities. (shrink)

This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.

Placeholder essentialism is the view that there is a causal essence that holds category members together, though we may not know what the essence is. Sometimes the placeholder can be filled in by scientific essences, such as when we acquire scientific knowledge that the atomic weight of gold is 79. We challenge the view that placeholders are elaborated by scientific essences. On our view, if placeholders are elaborated, they are elaborated Aristotelian essences, a telos. Utilizing the same kinds of experiments (...) used by traditional essentialists—involving superficial change (study 1), transformation of insides (study 2), acquired traits (study 3) and inferences about offspring (study 4)—we find support for the view that essences are elaborated by a telos. And we find evidence (study 5) that teleological essences may generate category judgments. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

This paper develops the Diachronic Self-Making View, the view that we are the non-accidentally best candidate referents of our ‘I’-beliefs. A formulation and defence of DSV is followed by an overview of its treatment of familiar puzzle cases about personal identity. The rest of the paper focuses on a challenge to DSV, the Puzzle of Inconstant ‘I’-beliefs: the view appears to force on us inconsistent verdicts about personal identity in cases that we would naturally describe as changes in one’s de (...) se beliefs. To solve this problem, the paper defends the possibility of overlapping people, and addresses a number of objections to this idea. (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Current controversies about knowledge integration reflect conflicting ideas of what it means to “take Indigenous knowledge seriously”. While there is increased interest in integrating Indigenous and Western scientific knowledge in various disciplines such as anthropology and ethnobiology, integration projects are often accused of recognizing Indigenous knowledge only insofar as it is useful for Western scientists. The aim of this article is to use tools from philosophy of science to develop a model of both successful integration and integration failures. On the (...) one hand, I argue that cross-cultural recognition of property clusters leads to an ontological overlap that makes knowledge integration often epistemically productive and socially useful. On the other hand, I argue that knowledge integration is limited by ontological divergence. Adequate models of Indigenous knowledge will therefore have to take integration failures seriously and I argue that integration efforts need to be complemented by a political notion of ontological self-determination. (shrink)

This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...) ascriptions have a relational form. The second part of the paper describes the implications of I-III for theories of perceptual experience. I argue that I-III support and reconcile the three main views of perceptual experience, relationalism, disjunctivism, and representationalism. However, I-III leave open at least one important point of contention: particularism, the view that we experience external objects. I conclude by exploring the implications of accepting or denying particularism given I-III. (shrink)

Perceptualists say that having a pain in a body part consists in perceiving the part as instantiating some property. I argue that perceptualism makes better sense of the connections between pain location and the experiences undergone by people in pain than three alternative accounts that dispense with perception. Turning to fellow perceptualists, I also reject ways in which David Armstrong and Michael Tye understand and motivate perceptualism, and I propose an alternative interpretation, one that vitiates a pair of objections—due (...) to John Hyman—concerning the meaning of ‘Amy has a pain in her foot’ and the idea of bodily sensitivity. Perceptualism, I conclude, remains our best account of the location of pains. (shrink)

Intermodal representationalists hold that the phenomenal characters of experiences are fully determined by their contents. In contrast, intramodal representationalists hold that the phenomenal characters of experiences are determined by their contents together with their intentional modes or manners of representation, which are nonrepresentational features corresponding roughly to the sensory modalities. This paper discusses a kind of experience that provides evidence for an intermodal representationalist view: intermodal experiences, experiences that unify experiences in different modalities. I argue that such experiences are much (...) easier to explain on the intermodal view. (shrink)

A discussion of three central ideas in action theory; trying to act, doing or acting, one's action causing further consequences.

When people make sense of situations, illustrations, instructions and problems they do more than just think with their heads. They gesture, talk, point, annotate, make notes and so on. What extra do they get from interacting with their environment in this way? To study this fundamental problem, I looked at how people project structure onto geometric drawings, visual proofs, and games like tic tac toe. Two experiments were run to learn more about projection. Projection is a special capacity, similar to (...) perception, but less tied to what is in the environment. Projection, unlike pure imagery, requires external structure to anchor it, but it adds ‘mental’ structure to the external scene much like an augmented reality system adds structure to an outside scene. A person projects when they look at a chessboard and can see where a knight may be moved. Because of the cognitive costs of sustaining and extending projection, humans make some of their projections real. They create structure externally. They move the piece, they talk, point, notate, represent. Much of our interactivity during sense making and problem solving involves a cycle of projecting then creating structure. (shrink)

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types there (...) will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)

Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a paradox. While (...) there is strong reason to think that rational credence cannot make such hyperintensional distinctions, our intuitive judgements about certain cases seem to demand that it does. (shrink)

Many hold that theoretical reasoning aims at truth. In this paper, I ask what it is for reasoning to be thus aim-directed. Standard answers to this question explain reasoning’s aim-directedness in terms of intentions, dispositions, or rule-following. I argue that, while these views contain important insights, they are not satisfactory. As an alternative, I introduce and defend a novel account: reasoning aims at truth in virtue of being the exercise of a distinctive kind of cognitive power, one that, unlike ordinary (...) dispositions, is capable of fully explaining its own exercises. I argue that this account is able to avoid the difficulties plaguing standard accounts of the relevant sort of mental teleology. (shrink)

I explain a tension between musical creationism (the view that musical works are abstract artifacts) and the view that there is no vague existence. I then suggest ways to reconcile these views. My central conclusion is that, although some versions of musical creationism imply vague existence, others do not. I discuss versions of musical creationism held by Jerrold Levinson, Simon Evnine, and Kit Fine. I also present two new versions. I close by considering whether the tension is merely an instance (...) of a general problem raised by artifacts, both abstract and concrete. I argue that on at least one defensible account of music the tension is especially problematic for abstracta. I focus on musical works, but much of the paper straightforwardly applies to other kinds of abstract artifacts. (shrink)

Abstract -/- Libertarians typically believe that we are morally responsible for the choices (or decisions) we make only if those choices are free, and our choices are free only if they are neither caused nor nomically necessitated by antecedent events. Recently, there have been a number of attempts by philosophers to refute libertarianism by arguing that because a libertarianly free decision (choice) is both causally and nomically undetermined, which decision an agent makes in a deliberative situation is a matter of (...) luck, which implies (due to the way these philosophers use 'luck') that the agent does not have control over which decision he makes. This argument has been dubbed "the Argument from Luck" or "the Luck Objection" against libertarianism – henceforth 'LO'. In this paper, we examine some versions of LO as reflected in the works of Alfred Mele (2006), Neil Levy (2011), and Peter van Inwagen (2000, 2011). We argue that libertarians have nothing to fear from LO. Deep down the objection reflects a failure, on the part of its proponents, really to come to grips with the libertarian position. (shrink)

In introducing the reactive attitudes “of people directly involved in transactions with each other,” P. F. Strawson lists “gratitude, resentment, forgiveness, love, and hurt feelings.” To show how our interpersonal emotional practices of responsibility could not be undermined by determinism’s truth, Strawson focused exclusively on resentment, specifically on its nature and actual excusing and exempting conditions. So have many other philosophers theorizing about responsibility in Strawson’s wake. This method and focus has generated a host of quality of will theories of (...) responsibility. What I show in this paper is that if Strawson—and his followers—had focused on hurt feelings instead of resentment, not only would quality of will theories of responsibility be disfavored, but none of our other theories of responsibility could adequately account for them. I conclude by exploring what a conundrum this poses for our methods and starting points in theorizing about responsibility. (shrink)

Holism in interwar Germany provides an excellent example for social and political in- fluences on scientific developments. Deeply impressed by the ubiquitous invocation of a cultural crisis, biologists, physicians, and psychologists presented holistic accounts as an alternative to the “mechanistic worldview” of the nineteenth century. Although the ideological background of these accounts is often blatantly obvious, many holistic scientists did not content themselves with a general opposition to a mechanistic worldview but aimed at a rational foundation of their holistic projects. (...) This article will discuss the work of Kurt Goldstein, who is known for both his groundbreaking contributions to neuropsychology and his holistic philosophy of human nature. By focusing on Goldstein’s neurolinguistic research, I want to reconstruct the empirical foundations of his holistic program without ignoring its cultural background. In this sense, Goldstein’s work provides a case study for the formation of a scientific theory through the complex interplay between specific empirical evidences and the general cultural developments of the Weimar Republic. (shrink)

We have a mentalistic view of objects. This is due to the interdependence of folk psychology and folk physics, where these are interconnected by what I call Teleological Commingling. When considering events that don’t involve agents, we naturally default to tracking intentions, goal-directed processes, despite the fact that agents aren’t involved. We have a deep-seated intentionality bias which is the result of the pervasive detection of agency cues, such as order or non-randomness. And this gives rise to the Agentive Worldview: (...) we view nature as a whole as being infused with agency and purpose. Teleological Commingling and the Agentive Worldview it gives rise to are at the core of our conception of objects. I maintain that the ordinary view of material objects is rooted in an implicit, false theory. It should be given no weight in metaphysical debates about the nature of material objects. And this problematizes the central methodological assumption that metaphysical theories of material objects should be beholden to common sense. (shrink)

In Human Nature and the Limits of Political Philosophy, I argued that justice might require things of people that they cannot bring themselves to do. A central step was to argue that this does not entail an inability to ‘do’ the putatively required thing. David Wiens challenges that argument of mine, and this piece is my reply.

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

Jerome Wakefield has argued that a disorder is a harmful dysfunction. This paper develops how Wakefield should construe harmful in his harmful dysfunction analysis. Recently, Neil Feit has argued that classic puzzles involved in analyzing harm render Wakefield’s HDA better off without harm as a necessary condition. Whether or not one conceives of harm as comparative or non-comparative, the concern is that the HDA forces people to classify as mere dysfunction what they know to be a disorder. For instance, one (...) can conceive of cases where simultaneous disorders prevent each other from being, in any traditional sense, actually harmful; in such cases, according to the HDA, neither would be a disorder. I argue that the sense of harm that Wakefield should employ in the HDA is dispositional, similar to the sense of harm used when describing a vile of poison: “Be careful! That’s poison. It’s harmful.” I call this harm in the damage sense. Using this sense of harm enables the HDA to avoid Feit’s arguments, and thus it should be preferred to other senses when analyzing harmful dysfunction. (shrink)

Sterelny (2003) develops an idealised natural history of folk-psychological kinds. He argues that belief-like states are natural elaborations of simpler control systems, called detection systems, which map directly from environmental cue to response. Belief-like states exhibit robust tracking (sensitivity to multiple environmental states), and response breadth (occasioning a wider range of behaviours). The development of robust tracking and response-breadth depend partly on properties of the informational environment. In a transparent environment the functional relevance of states of the world is directly (...) detectable. Outside transparent environments, selection can favour decoupled representations. Sterelny maintains that these arguments do not generalise to desire. Unlike the external environment, the internal processes of an organism, he argues, are selected for transparency. Parts of a single organism gain nothing from deceiving one another, but gain significantly from accurate signalling of their states and needs. Key conditions favouring the development of belief-like states are therefore absent in the case of desires. Here I argue that Sterelny’s reasons for saying that his treatment of belief does not generalise to motivation (desires, or preferences) are insufficient. There are limits to the transparency that internal environments can achieve. Even if there were not, tracking the motivational salience of external states suggests possible gains for systematic tracking of outcome values in any system in which selection has driven the production of belief-like states. (shrink)

We present data and argument to show that in Tetris—a real-time interactive video game—certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as being used to implement a plan, or to implement a reaction. To substantiate our position we have implemented a computational laboratory that lets us record keystrokes and game (...) situations, as well as allows us to dynamically create situations. Using the data of over 30 subjects playing 6 games, tachistoscopic tests of some of these subjects, and results from our own successful efforts at building expert systems to play Tetris, we show why knowing how to use one’s environment to enhance speed and robustness are important components in skilled play. (shrink)

Working within the broad lines of general consensus that mark out the core features of John Stuart Mill’s (1806–1873) logic, as set forth in his A System of Logic (1843–1872), this chapter provides an introduction to Mill’s logical theory by reviewing his position on the relationship between induction and deduction, and the role of general premises and principles in reasoning. Locating induction, understood as a kind of analogical reasoning from particulars to particulars, as the basic form of inference that is (...) both free-standing and the sole load-bearing structure in Mill’s logic, the foundations of Mill’s logical system are briefly inspected. Several naturalistic features are identified, including its subject matter, human reasoning, its empiricism, which requires that only particular, experiential claims can function as basic reasons, and its ultimate foundations in ‘spontaneous’ inference. The chapter concludes by comparing Mill’s naturalized logic to Russell’s (1907) regressive method for identifying the premises of mathematics. (shrink)

Corruptionism is the view that following physical death, the human being ceases to exist but their soul persists in the afterlife. Survivalism holds that both the human being and their soul persist in the afterlife, as distinct entities, with the soul constituting the human. Each position has its defenders, most of whom appeal both to metaphysical considerations and to the authority of St Thomas Aquinas. Corruptionists claim that survivalism violates a basic principle of any plausible mereology, while survivalists tend to (...) reject the principle, though without as much detail as one would like. In this paper I examine both the key exegetical issues and the mereological question, arguing that Aquinas cannot be shown to have supported the principle in question, and that the principle should be rejected on independent grounds. If correct, some key planks in support of survivalism are established, with others to await further examination. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...) the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)